#include<stdio.h>
int main()
{
	char arr[17] = "0123456789ABCDEF";
	printf("%c", arr[15]);


	return 0;
}